/* style.css - style sheet */
/* See http://www.w3.org/MarkUp/Guide/Style */

body {
  margin-left: 5%; margin-right: 5%;
  color: black; background: rgb(247, 243, 232);
}

pre {
  font-family: monospace;
  color: black; background: white;
}

h1,h2,h3,h4,h5,p,ul { font-family: sans-serif; }

/* Overide default (italic) style for "emphasised" text: Make it work like a HiLiter */
em { font-style: normal; font-weight: normal; color: black; background: yellow; }

div.box {
  padding: 0.5em;
  border: solid;
  border-width: thin;
  width: 100%;
}

div.colorpanel_paleblue {
  background: rgb(235,235,250);
  padding: 0.5em;
  border: none;
}

div.colorpanel_palegreen {
  background: rgb(235,250,235);
  padding: 0.5em;
  border: none;
}

div.colorpanel_palered {
  background: rgb(250,235,235);
  padding: 0.5em;
  border: none;
}